Automatic programming - PDFSEARCH.IO - Document Search Engine

Automatic programming
Results: 566

#	Item
91	Automatic Construction of Inference-Supporting Knowledge Bases Peter Clark, Niranjan Balasubramanian, Sumithra Bhakthavatsalam, Kevin Humphreys, Jesse Kinkead, Ashish Sabharwal, Oyvind Tafjord Allen Institute for AI, 215 Add to Reading List Source URL: www.akbc.ws Language: English - Date: 2015-04-02 16:06:46 Reasoning Branches of philosophy Formal systems Programming paradigms Inference Logical consequence Logic programming Axiom Epistemology Logic Philosophy Science
92	The following paper was originally published in the Proceedings of the 7th USENIX Security Symposium San Antonio, Texas, January 26-29, 1998 StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Atta Add to Reading List Source URL: static.usenix.org Language: English - Date: 2002-04-30 18:05:07 Computer programming Buffer overflow protection Stack buffer overflow Buffer overflow Stack C standard library Pointer C Subroutine Computing Software bugs Software engineering
93	Automatic Design Pattern Detection Dirk Heuzeroth Thomas Holl University of Karlsruhe,Germany Add to Reading List Source URL: welf.se Language: English - Date: 2013-04-23 05:43:43 Computing Design Patterns Observer pattern Object-oriented programming Chain-of-responsibility pattern Factory method pattern Visitor pattern Mediator pattern Class Software design patterns Software engineering Computer programming
94	Journal of Instruction-Level ParallelismSubmitted 6/07; published 6/08 Dynamic Parallelization and Vectorization of Binary Executables on Hierarchical Platforms Add to Reading List Source URL: www.jilp.org Language: English - Date: 2008-08-06 16:42:16 Computer programming Automatic parallelization Dynamic recompilation Binary translation Vectorization Profiling Loop unwinding Pin Multithreading Computing Parallel computing Compiler optimizations
95	facultad de inform´ atica universidad polit´ecnica de madrid Automatic Coding Rule Conformance Checking Using Logic Programming Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2007-09-01 17:49:20 C programming language MISRA C Prolog C Type system Computing Programming language theory Software engineering
96	Sage FAQ Release 6.6 The Sage Development Team April 18, 2015 Add to Reading List Source URL: doc.sagemath.org Language: English - Date: 2015-06-10 03:37:14 Array programming languages Sage Cython Maxima GiNaC Python Semi-Automatic Ground Environment Question MATLAB Software Mathematical software Computing
97	NESTING FACTORY Your online nesting Algomate company presents Nesting Factory, a software module for the automatic nesting of sheet and roll materials. Nesting Factory, Sheet Metal Edition is designed to support differen Add to Reading List Source URL: automatic-nesting.com Language: English - Date: 2010-07-01 18:32:42 Nesting Application programming interfaces Computing X Window System Sheet metal Software Technology Automation
98	Published in Proceedings of EURO–PAR’95, Sweden Relating Data–Parallelism and (And–) Parallelism in Logic Programs? Manuel V. Hermenegildo and Manuel Carro Universidad Polit´ecnica de Madrid Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2003-02-05 06:01:04 Software engineering Compiler optimizations Data parallelism Prolog Automatic parallelization Parallelism Scalable parallelism Programming paradigms Task parallelism Computing Parallel computing Computer programming
99	SoK: Automated Software Diversity Per Larsen, Andrei Homescu, Stefan Brunthaler, Michael Franz University of California, Irvine Abstract—The idea of automatic software diversity is at least two decades old. The deﬁci Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2014-04-21 13:48:10 Programming language implementation Cross-platform software Procedural programming languages C Standard Library PaX Address space layout randomization Software bugs JIT spraying Compiler optimization Computing Software engineering Software
100	IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming? M.J. Fern´ andez M. Carro M. Hermenegildo Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2003-02-06 04:50:35 Programming language theory Prolog Speedup Parallel processing Central processing unit Automatic parallelization Parallel computing Computing Computer programming

UPDATE